def
var n:num

+++ fib(num) <= num
+++ g(num) <=tuple
--- fib(0) <= 1
--- fib(1) <= 1
--- fib((n+1)+1) <= fib(n+1) + fib(n)
--- g(n) <= maketuple(fib(n+1)::(fib(n)::nil))

end

[fib g].makemylist;
0->trysubfuns;

false->oneexp;
readexp;
 0+1 end ->e11;
 readexp; 1 end->e22;

[% e11.hd <<= e22.hd %]->redlist;